A Case Study in Reasoning about Processes
نویسنده
چکیده
In this paper, we give a case study to show how a high level semantics of processes can be integrated with the event calculus to reason about complex, continuous processes. We present a formal method to specify the semantics of processes in the event calculus and implement the automated reasoning about processes and continuous change in the logical programming framework. Key-words: Reasoning, Planning, Event Calculus, Processes, Semantics, Logic Programming Proceedings of the 5th WSEAS Int. Conf. on COMPUTATIONAL INTELLIGENCE, MAN-MACHINE SYSTEMS AND CYBERNETICS, Venice, Italy, November 20-22, 2006 158
منابع مشابه
The Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملINTEGRATING CASE-BASED REASONING, KNOWLEDGE-BASED APPROACH AND TSP ALGORITHM FOR MINIMUM TOUR FINDING
Imagine you have traveled to an unfamiliar city. Before you start your daily tour around the city, you need to know a good route. In Network Theory (NT), this is the traveling salesman problem (TSP). A dynamic programming algorithm is often used for solving this problem. However, when the road network of the city is very complicated and dense, which is usually the case, it will take too long fo...
متن کاملCase-Based Introspection
To effectively reason about one’s own knowledge, goals, and reasoning requires an ability to explicitly introspect. A computational model of introspection is a second-order theory that contains a formal language for representing first-order processes and that processes instances of this representation. The reasoning algorithm used to perform such processing is similar to the algorithm used to r...
متن کاملThe effect of short-term workshop on improving clinical reasoning skill of medical students
Background: Clinical reasoning process leads clinician to get purposeful steps from signs and symptoms toward diagnosis and treatment. This research intends to investigate the effect of teaching clinical reasoning on problem-solving skills of medical students. Methods: This research is a semi-experimental study. Nineteen Medical student of the pediatric ward as case group participated...
متن کاملFactors affecting clinical reasoning of occupational therapists: a qualitative study
Background: Clinical reasoning is generally defined as the numerous modes of thinking that guide clinical practice but little is known about the factors affecting how occupational therapists manage the decision-making process. The aim of this qualitative study was to explore the factors influencing the clinical reasoning of occupational therapists. Methods: Twelve occupational therapy pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006